At least for the time being, GETVCPUCONTEXT needs to work
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 15 Oct 2005 08:32:10 +0000 (09:32 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 15 Oct 2005 08:32:10 +0000 (09:32 +0100)
commita9634a6106b5ea444557428333dd717e861b2b8c
treec7608766fb76c5e5ab174c8938f380fe5beee20a
parent5519fdc24af5a81d62547b094dbb9cd5ce1c7b3a
At least for the time being, GETVCPUCONTEXT needs to work
even for uninitialised VCPUs. xc_linux_build() depends on
it (rather stupidly).

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/dom0_ops.c